1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/3D53QDU |
Repositório | dpi.inpe.br/plutao/2012/11.28.17.33.53 |
Última Atualização | 2018:08.27.11.16.06 (UTC) marciana |
Repositório de Metadados | dpi.inpe.br/plutao/2012/11.28.17.33.54 |
Última Atualização dos Metadados | 2022:03.17.16.24.00 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Rótulo | lattes: 5039690360728170 1 SantiagoJúniorVijFerGuiCos:2012:AuMoTe |
Chave de Citação | SantiagoJúniorVijFerGuiCos:2012:AuMoTe |
Título | GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines |
Formato | DVD |
Ano | 2012 |
Data de Acesso | 30 abr. 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 190 KiB |
|
2. Contextualização | |
Autor | 1 Santiago Júnior, Valdivino Alexandre de 2 Vijaykumar, Nandamudi Lankalapalli 3 Ferreira, Érica 4 Guimarães, Danielle Souza 5 Costa, Raffael Carvalho da |
Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JJB5 2 8JMKD3MGP5W/3C9JHTU |
Grupo | 1 CEA-CEA-INPE-MCTI-GOV-BR 2 LAC-CTE-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 valdivino@das.inpe.br |
Endereço de e-Mail | valdivino@das.inpe.br |
Nome do Evento | Congresso Brasileiro de Software: Teoria e Prática, 3 (CBSoft). |
Localização do Evento | Natal-RN |
Data | 2012 |
Páginas | 25-30 |
Título do Livro | Anais |
Tipo Terciário | Paper |
Histórico (UTC) | 2012-11-28 23:06:32 :: lattes -> marciana :: 2012 2013-01-08 18:39:31 :: marciana -> administrator :: 2012 2018-06-05 00:02:10 :: administrator -> marciana :: 2012 2018-08-27 11:16:06 :: marciana -> administrator :: 2012 2022-03-17 16:24:00 :: administrator -> marciana :: 2012 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Área | CEA |
Arranjo 1 | urlib.net > Produção anterior à 2021 > LABAC > GTSC: Automated Model-Based... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > GTSC: Automated Model-Based... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/3D53QDU |
URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/3D53QDU |
Idioma | en |
Arquivo Alvo | santiago junior_gtsc.pdf |
Grupo de Usuários | lattes marciana |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3EU2FR5 |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.01.23.29 1 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | abstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|